Detectors and Correctors: A Theory of Fault-Tolerance Components
نویسندگان
چکیده
A Theory of Fault-Tolerance Components1 Anish Arora Sandeep S. Kulkarni Department of Computer and Information Science The Ohio State University Columbus, Ohio 43210 USA Abstract In this paper, we show that two types of tolerance components, namely detectors and correctors, appear in a rich class of fault-tolerant systems. This class includes systems designed using the wellknown techniques of encapsulation and re nement, as well as systems designed using extant fault-tolerance methods such as replication and the state-machine approach. Our demonstration is via a theory of detectors and correctors, which characterizes the particular role of these components in achieving various types of fault-tolerance. Based on this theory and on our experience with using these components in designs, we suggest that detectors and correctors provide a powerful basis for e cient, component-based design of fault-tolerance.
منابع مشابه
Component Based Design of Multitolerance
The concept of multitolerance abstracts problems in system dependability and provides a basis for improved design of dependable systems. In the abstraction, each source of undependability in the system is represented as a class of faults, and the corresponding ability of the system to deal with that undependability source is represented as a type of tolerance. Multitolerance thus refers to the ...
متن کاملComponent Based Design of Multitolerant Systems
The concept of multitolerance abstracts problems in system dependability and provides a basis for improved design of dependable systems. In the abstraction, each source of undependability in the system is represented as a class of faults, and the corresponding ability of the system to deal with that undependability source is represented as a type of tolerance. Multitolerance thus refers to the ...
متن کاملCompositional Verification of Real-Time Fault-Tolerant Programs
A hard-masking real-time program is one that satisfies safety (including timing constraints) and liveness properties in the absence and presence of faults. It has been shown that any hard-masking program can be decomposed into a faultintolerant version and a set of fault-tolerance components known as detectors and δ-correctors. In this paper, we introduce a set of sufficient conditions for inte...
متن کاملAutomating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications
The fault tolerance theories by Arora and Kulkarni [3] and by Jhumka et al. [10] view a fault-tolerant program as the result of composing a fault-intolerant program with fault tolerance components called detectors and correctors. At their core, the theories assume that the correctness specifications under consideration are fusion closed. In general, fusion closure of specifications can be achie...
متن کاملOn modeling and tolerating incorrect software
Distributed systems have to deal with the following scenarios in practice: bugs in components; incorrect specifications of components and, therefore, incorrect use of components; unanticipated faults due to complex interactions or to not containing the effects of faults in lower-level components; and evolution of components. Extant fault tolerance models deal with such scenarios in only a limit...
متن کامل